arm: add a tiny kconfig configuration
authorStefano Stabellini <sstabellini@kernel.org>
Tue, 31 Jul 2018 15:20:01 +0000 (08:20 -0700)
committerJulien Grall <julien.grall@arm.com>
Thu, 2 Aug 2018 11:24:27 +0000 (12:24 +0100)
commitee58fca2a6fa4b1fea6551962ec5587b903a3cc7
treea2745de94569bb97b1ee4fb208b010cb8b8b05c1
parent277aa3523d9d71502e1bc6a82553e07013c2facb
arm: add a tiny kconfig configuration

Add a tiny kconfig configuration. Enabled only the credit scheduler.
It only carries non-default options (use make menuconfig or make
olddefconfig to produce a complete .config file).

Signed-off-by: Stefano Stabellini <sstabellini@kernel.org>
Acked-by: Julien Grall <julien.grall@arm.com>
---
Changes in v7:
- remove NULL because it is still experimental
xen/arch/arm/configs/tiny64.conf [new file with mode: 0644]